1. Advances in Database Technology - EDBT '94 :
Author: edited by Matthias Jarke, Janis Bubenko, Keith Jeffery.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Data structures (Computer science),Programming languages (Electronic computers)
Classification :
QA76
.
9
.
D3
E358
1994
2. Algebraic informatics :
Author: Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
Classification :
QA76
.
7
3. Automata, languages and programming :
Author: edited by G. Ausiello and C. Böhm.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
4. Automata, languages, and programming :
Author: edited by Jan Paredaens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
5. CONCUR'91 :
Author: J.C.M. Baeten, J.F. Groote (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
6. Computational Semantics with Functional Programming
Author: / Jan Van Eijck and Christina Unger
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Programming languages (Electronic computers) -- Semantics,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامهنویسی کامپیوتر -- معنی شناسی,زبان های برنامه نویسی تابعی (علوم کامپیوتر),هسکل (زبان برنامه نویسی کامپیوتر)
Classification :
QA76
,.
7
.
E43
2010
7. Computational semantics with functional programming /
Author: Jan van Eijck and Christina Unger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming (Computer science),Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Computerlinguistik,COMPUTERS-- Programming-- General.,Functional programming (Computer science),Funktionale Programmierung,HASKELL,Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Semantik
Classification :
QA76
.
7
.
E43
2010eb
8. Concepts of programming languages /
Author: Robert W. Sebesta.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers),Programming languages (Electronic computers)
Classification :
QA76
.
7
.
S43
2010
9. Concepts of programming languages /
Author: Robert W. Sebesta, University of Colorado at Colorado Springs.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers)
Classification :
QA76
.
7
.
S43
2016
10. Concepts of programming languages
Author: Sebesta, Robert W.
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Programming languages )Electronic computers(
Classification :
QA
76
.
7
.
S43
2006
11. Current trends in concurrency :
Author: edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
12. Foundations of logic programming
Author: J.W. Lloyd
Library: Vali Asr University Central Library (Kerman)
Subject: Logic programming,Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
6
.
L583
1987
13. Foundations of logic programming
Author: Lloyd, John Wylie
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic programming,، Programming languages )Electronic computers( - Semantics
Classification :
QA
76
.
6
.
L583
1984
14. Foundations of logic programming
Author: Lloyd, J. W.)John Wylie(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic programming,، Programming languages )Electronic computers( - Semantics
Classification :
QA
76
.
6
.
L583
1987
15. Foundations of logic programming
Author: J.W. Lloyd
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
6
.
L56
1987
16. It's all about coordination :
Author: Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
58
.
I87
2018eb
17. Language, logic, and computation :
Author: Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.
Classification :
QA76
.
9
.
L63
18. Logic and specifiction
Author: Middelburg, Cornelis A
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Programming languages (Electronic computers)- Semantics►Software engineering►Logic, Symbolic and mathematical
Classification :
76
.
7
.
M53
19. Logic, language, and computation
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
20. Logic, language, and computation
Author: / Balder D. ten Cate, Henk W. Zeevat (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses
Classification :
QA
,
76
.
9
,.
L63
,
I565
,
2005
